Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs

A graph G is called generically minimally rigid in R if, for any choice of sufficiently generic edge lengths, it can be embedded in R in a finite number of distinct ways, modulo rigid transformations. Here, we deal with the problem of determining tight bounds on the number of such embeddings, as a function of the number of vertices. The study of rigid graphs is motivated by numerous applications, mostly in robotics, bioinformatics, sensor networks and architecture. We capture embeddability by polynomial systems with suitable structure, so that their mixed volume, which bounds the number of common roots, yields interesting upper bounds on the number of embeddings. We explore different polynomial formulations so as to reduce the corresponding mixed volume, namely by introducing new variables that remove certain spurious roots, and by applying the theory of distance geometry. We focus on R and R, where Laman graphs and 1-skeleta (or edge graphs) of convex simplicial polyhedra, respectively, admit inductive Henneberg constructions. Our implementation yields upper bounds for n ≤ 10 in R and R, which reduce the existing gaps and lead to tight bounds for n ≤ 7 in both R and R; in particular, we describe the recent settlement of the case of Laman graphs with 7 vertices. Our approach also yields a new upper bound for Laman graphs with 8 vertices, which is conjectured to be tight. We also establish the first lower bound in R of about 2.52, where n denotes the number of vertices.